

function doMenu() {
	var html = "<div class=\"Menu\"><ul>";
	html += "<li class=\"Link\"><a href=\"summary.html\" title=\"Muestra el resumen del analisis\">RESUMEN</a></li>";
	html += "<li class=\"Link\"> | </li>";
	html += "<li class=\"Link\"><a href=\"completeClass.html\" title=\"Muestra las clases encontradas\">CLASES</a></li>";
	html += "<li class=\"Link\"> | </li>";
	html += "<li class=\"Link\"><a href=\"diff.html\" title=\"Muestra los casos almacenados\">CASOS</a></li>";
	html += "</ul></div>";
	$("body").prepend(html);
}